નીચેના વિધાનમાં વપરાયેલ "અથવા" (Or) નો પ્રકાર ઓળખો અને વિધાન સત્ય છે કે અસત્ય તે તપાસો:
"લંબચોરસ એ ચતુષ્કોણ છે અથવા $5$-બાજુવાળો બહુકોણ છે."

નીચેના વિધાનનું પ્રતિ-ધન (contrapositive) વિધાન લખો:
જો કોઈ સંખ્યા $9$ વડે વિભાજ્ય હોય,તો તે $3$ વડે વિભાજ્ય છે.

વિધાન-$1$: $\sim (p \Leftrightarrow \sim q)$ એ $p \Leftrightarrow q$ ને સમતુલ્ય છે.
વિધાન-$2$: $\sim (p \Leftrightarrow \sim q)$ એ પુનરાવૃતિ (tautology) છે.

જો વિધાનો $p, q$ ના સત્યતા મૂલ્યો સત્ય $(T)$ હોય,અને $r, s$ ના સત્યતા મૂલ્યો અસત્ય $(F)$ હોય,તો નીચેના વિધાન સ્વરૂપોના સત્યતા મૂલ્યો અનુક્રમે શું હશે?
$a: \sim(p \wedge \sim r) \vee(\sim q \vee s)$
$b: (\sim q \wedge \wedge \sim r) \leftrightarrow(p \vee s)$
$c: (\sim p \vee q) \rightarrow(r \wedge \sim s)$

કોઈપણ બે વિધાનો $p$ અને $q$ માટે,પદાવલિ $p \vee ( \sim p \wedge q)$ નું નિષેધ શું થાય?

નીચેનામાંથી કયું વિધાન સાચું છે?
$(a)$ $S_1: (p \wedge q) \equiv \sim(p \rightarrow \sim q)$
$(b)$ $S_2: (p \wedge q) \wedge (\sim p \vee \sim q)$ એ નિત્યસત્ય (tautology) છે
$(c)$ $S_3: [p \wedge (p$ $\rightarrow \sim q)]$ $\rightarrow q$ એ વિરોધાભાસ (contradiction) છે
$(d)$ $S_4: p$ $\rightarrow (q$ $\rightarrow p)$ એ આકસ્મિક (contingency) છે